perm filename PAPER.TEX[AM,DBL] blob
sn#435193 filedate 1979-04-24 generic text, type C, neo UTF8
COMMENT ā VALID 00004 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 \input hsimp
C00004 00003 \def\sectionbegin#1{\hjust{\:=#1}
C00007 00004 \def\TITL #1{
C00011 ENDMK
Cā;
\input hsimp
%\input hdr
\def\1{\:a}
\def\0{\:a\ }
\def\2{\:q}
\def\3{\:t}
\def\4{\:n}
\def\5{\:<}
\def\6{\:r}
\setcount0 0 % page no
\setcount4 0 % main section no (=chapter no)
\setcount5 0
\setcount8 854 % This 854 will show up quickly if there is a bug somewhere
\def\forall{\mathrel{\char'470}}
\def\hook{\mathrel{\char'472}}
\def\han #1{\hangindent #10pt for 99 \noindent}
\def\sectionbegin#1{\hjust{\:=#1}
\penalty 1000 \vskip 6pt plus 3pt
\acpmark{\chd}{\csec}
\noindent\tenpoint\!}
\def\subsectionbegin#1{\yyskip\noindent
{\bf#1.}\tenpoint\xskip\!}
\def\dimsectionbegin#1{\yyskip
\acpmark{\chd}{\csec}
{\noindent{\:?#1.}\tenpoint\xskip\!}\par \yskip}
\def\minsectionbegin#1{\yyskip
\acpmark{\chd}{\csec}
{\noindent{\:<#1}\tenpoint\xskip\!}\par \yskip}
\def\asecbegin#1{\hjust{\:=Appendix #1}
\penalty 1000 \vskip 6pt plus 3pt
\acpmark{\chd}{\csec}
\noindent\tenpoint\!}
\def\asusecb#1{\yyskip
\acpmark{\chd}{\csec}
{\noindent{\:=Appendix #1.}\tenpoint\xskip\!}\par \yskip}
\def\asssecbegin#1{\yyskip{\noindent
{\:<Appendix #1.}\tenpoint\xskip\!}\par \yskip}
\def\GET #1{\input #1 \vfill}
\def\GGET #1{}
\def\BN{\setcount8 0}
\def\inbox#1{\vjust{\hrule\hjust{\vrule\hskip 2pt
\vjust{\vskip 2pt #1 \vskip 2pt}\hskip 2pt\vrule}\hrule}}
\def\hh{\advcount8 {\6\count8 . }}
\setcount9 1
\def\foo #1{\advcount9 {\footnote {\unskip
$ā{\count9}$\unskip}{#1}}}
\def\inv{\raise 2.1pt\hjust{\:d-1}}
\def\minv{{\scriptstyle{\raise 2.1pt\hjust{-1}}}}
\def\qq #1#2{\yskip \ninepoint
{\hangindent 40pt for 44 {\it \noindent #1}} \par
{\ctrline{\sl --- \ #2\0}}\tenpoint \yskip}
\def\hs#1#2{\yyskip \inbox{\inbox{\hjust{{\5 #1 . #2}}}} \yskip}
\def\hinbox#1{#1}
% \def\hinbox#1{\inbox{\hjust{{ #1 }}}}
\def\bh{\ninepoint \parindent 0pt \parskip 1pt \yskip \sl}
\def\eh{\tenpoint \parindent 19pt \parskip 0pt \yskip \rm}
\def\TITL #1{
\titlepage\tenpoint
\runninglefthead{#1}
\vfill
\advcount8
\runningrighthead{{ }}
\section{{ }}
\eject
\ctrline{\:;#1}
\vskip 28pt plus 5pt
\acpmark{\chd}{\csec}
\noindent\tenpoint\!
}
\def\AUTHO #1{
\ctrline{\:>#1}
\vskip 4pt plus 2 pt
}
\def\NSECP #1{
\titlepage\tenpoint
\vfill
\advcount4
\gdef\grrh{#1}
\runningrighthead{#1}
\section{\count4}
\sectionskip
\sectionbegin{\count4. #1}
\setcount5 0
\setcount9 0
}
\def\SSEC #1{
\advcount5
\setcount6 0
\runningrighthead{\grrh}
\section{\count4.\count5}
\sectionskip
\minsectionbegin{\count4.\count5. #1}
}
\def\SSSEC #1{
\advcount6
\setcount7 0
\runningrighthead{\grrh}
\section{\count4.\count5.\count6}
\sectionskip
\dimsectionbegin{\count4.\count5.\count6. #1}
}
\def\ASEC #1{
\titlepage\tenpoint
\vfill
\advcount4
\gdef\grrh{#1}
\runningrighthead{#1}
\section{App. \count4 }
\sectionskip
\asecbegin{\count4. #1}
\setcount5 0
\setcount9 0
}
\def\SSECP #1{
\advcount5
\setcount6 0
\runningrighthead{\grrh}
\section{\count4.\count5}
\eject
\minsectionbegin{\count4.\count5. #1}
}
\def\ASSEC #1{
\advcount5
\setcount6 0
\runningrighthead{\grrh}
\section{App. \count4.\count5}
\sectionskip
\asusecb{\count4.\count5. #1}
}
\def\ASSECP #1{
\advcount5
\setcount6 0
\runningrighthead{\grrh}
\section{App. \count4.\count5}
\eject
\asusecb{\count4.\count5. #1}
}
\def\ASSSEC #1{
\advcount6
\setcount7 0
\runningrighthead{\grrh}
\section{App. \count4.\count5.\count6}
\sectionskip
\asssecbegin{\count4.\count5.\count6. #1}
}
\def\NNSECP #1{ % no section no. printed; useful for, e.g., acknowledgements
\titlepage\tenpoint
\vfill
\advcount8
\gdef\grrh{{}}
\runningrighthead{{}}
\section{{ }}
\sectionskip
\ctrline{\:=#1}
\penalty 1000 \vskip 6pt plus 3pt
\acpmark{\chd}{\csec}
\noindent\tenpoint\!
\setcount5 0
\setcount9 0
\par\vskip 14pt plus 5pt minus 1pt
}